J. Stone < J. Stuckey < J. Sullivan

Facettes :

List of bibliographic references indexed by J. Stuckey

Number of relevant bibliographic references: 6.

Ident.	Authors (with country if any)	Title
000C79 (2009)	M. Reischuk [Allemagne] ; Christian Schulte [Suède] ; J. Stuckey [Australie] ; Guido Tack [Allemagne]	Maintaining State in Propagation Solvers
001973 (2005)	J. Stuckey [Australie] ; Garcia De La Banda [Australie] ; Michael Maher [Australie] ; Kim Marriott [Australie] ; John Slaney [Australie] ; Zoltan Somogyi [Australie] ; Mark Wallace [Australie] ; Toby Walsh [Australie]	The G12 Project: Mapping Solver Independent Models to Efficient Solutions
001B91 (2005)	Ralph Becket [Australie] ; Garcia De La Banda [Australie] ; Kim Marriott [Australie] ; Zoltan Somogyi [Australie] ; J. Stuckey [Australie] ; Mark Wallace [Australie]	Adding Constraint Solving to Mercury
001C06 (2005)	Peter Hawkins [Australie] ; J. Stuckey [Australie]	A Hybrid BDD and SAT Finite Domain Constraint Solver
001D01 (2004)	Christian Schulte [Suède] ; J. Stuckey [Australie]	Speeding Up Constraint Propagation
001D02 (2004)	Vitaly Lagoon [Australie] ; J. Stuckey [Australie]	Set Domain Propagation Using ROBDDs

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "J. Stuckey" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "J. Stuckey" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Musique
   |area=    MozartV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    J. Stuckey
}}

---

This area was generated with Dilib version V0.6.20. Data generation: Sun Apr 10 15:06:14 2016. Site generation: Tue Feb 7 15:40:35 2023